branching logicの例文
- Rather, Emerson and Lei show that any linear logic can be extended to a branching logic that can be decided with the same complexity.
- Unfortunately, since the recursion is part of the parser, I don't see anyway to change that from within the ParserFunctions extension, such branching logic would have to be incorporated into the Parser itself.
- Likewise, if an application is trusted, but its paging / caching is affected by branching logic, it may be possible for a second application to determine the values of the data compared to the branch condition by monitoring access time changes; in extreme examples, this can allow recovery of cryptographic key bits.
